NIP for some pair-like theories
نویسنده
چکیده
Generalising work from [2] and [6], we give sufficient conditions for a theory TP to inherit NIP from T , where TP is an expansion of the theory T by a unary predicate P . We apply our result to theories, studied in [1], of the real field with a subgroup of the unit circle.
منابع مشابه
Type decomposition in NIP theories
A first order theory is NIP if all definable families of subsets have finite VCdimension. We provide a justification for the intuition that NIP structures should be a combination of stable and order-like components. More precisely, we prove that any type in an NIP theory can be decomposed into a stable part (a generically stable partial type) and an order-like quotient.
متن کاملLascar strong types and forking in NIP theories
This is an updated and slightly expanded version of a tutorial given in the Mini-Course in Model Theory, Torino, February 9-11, 2011. Some parts were previously exposed in the Model Theory Seminar of Barcelona. The main goals were to clarify the relation of forking with some versions of splitting in NIP theories and to present the known results on G-compactness, including a full proof of a theo...
متن کاملExternal definability and groups in NIP theories
We prove that many properties and invariants of definable groups in NIP theories, such as definable amenability, G/G00, etc., are preserved when passing to the theory of the Shelah expansion by externally definable sets, Mext, of a model M . In the light of these results we continue the study of the “definable topological dynamics” of groups in NIP theories. In particular we prove the Ellis gro...
متن کاملStable embeddedness and NIP
We give some sufficient conditions for a predicate P in a complete theory T to be “stably embedded”. Let P be P with its “induced ∅definable structure”. The conditions are that P (or rather its theory) is “rosy”, P has NIP in T and that P is stably 1-embedded in T . This generalizes a recent result of Hasson and Onshuus [6] which deals with the case where P is o-minimal in T . Our proofs make u...
متن کاملGenerically stable and smooth measures in NIP theories
We formulate the measure analogue of generically stable types in first order theories with NIP (without the independence property), giving several characterizations, answering some questions from [9], and giving another treatment of uniqueness results from [9]. We introduce a notion of “generic compact domination”, relating it to stationarity of Keisler measures, and also giving group versions....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Arch. Math. Log.
دوره 50 شماره
صفحات -
تاریخ انتشار 2011